parallel/libglucose.a:
	cd parallel && $(MAKE) libs && mv lib.a libglucose.a

clean:
	rm -f parallel/libglucose.a parallel/lib_standard.a
	cd parallel && make clean
